401. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
پدیدآورنده : E. Brinksma ... )et al.(, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
402. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده : Ed Brinksma )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
403. Transactions on computational science XIV :
پدیدآورنده : Marina L. Gavrilova, C.J. Kenneth Tan, Mir Abolfazl Mostafavi (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Research,Voronoi polygons,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computer Graphics,Computer Science,Data Structures,Discrete Mathematics in Computer Science,Numeric Computing
رده :
QA76
.
27
.
T73
2011
404. Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Paima, Mallorca, Spain, May 21-23, 1997: proceedings
پدیدآورنده : Miquel Bertran, Teodor Rus, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Real-time data processing,Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1231
405. Trends and Perspectives in Modern Computational Science.
پدیدآورنده : George Maroulis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
406. 27, 2011, Tutorial Lectures-Reasoning Web. Semantic Technologies for the Web of Data: 7th International Summer School 2011, Galway, Ireland, August 23
پدیدآورنده : / Schneider (eds.)-Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter Patelبren Auer, Jens Lehmann (auth.), Axel Polleres, Claudia dSن
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
407. U- and E-Service, science and technology :
پدیدآورنده : Tai-hoon Kim...[et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Business-- Data processing, Congresses.,Information technology, Congresses.
رده :
T58
.
5
.
U54
2011
408. UML 2 certification guide :
پدیدآورنده : Tim Weilkiens, Bernd Oestereich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,UML (Computer science)-- Examinations, Study guides.,Computer software-- Development-- Examinations-- Study guides.,COMPUTERS-- Programming-- Object Oriented.,Electronic data processing personnel-- Certification.,Electronic data processing personnel-- Certification.,UML (Computer science)-- Examinations-- Study guides.
رده :
QA76
.
3
.
W4622
2007eb
409. Uncertainty Quantification in Scientific Computing:
پدیدآورنده : Andrew M Dienstfrey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Software engineering.
رده :
Q375
.
A537
2012
410. Understanding CORBA:the common object request broker architecture
پدیدآورنده : / Randy Otte,Paul Patrick and Markk Roy
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Object-oriented programming (Computer science),Application software,Electronic data processing-Distributed processing
رده :
QA
76
.
64
.
O88
1996
411. Using information technology effectively in teaching and learning :
پدیدآورنده : edited by Bridget Somekh and Niki Davis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-assisted instruction.,Educational technology.,Teachers-- In-service training.,Aufsatzsammlung,Computer-assisted instruction.,Educational technology.,Informationstechnik,Teachers-- In-service training.,Unterrichtstechnologie
رده :
LB1028
.
3
.
U847
1997
412. VCP5-DCV
پدیدآورنده : Brian Atkinson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : VMware vSphere-- Examinations,Data recovery (Computer science)-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,Virtual computer systems-- Examinations, Study guides.
413. Young person's occupational outlook handbook /
پدیدآورنده : by the editors at JIST ; based on information from the U.S. Department of Labor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Job descriptions.,Occupations.,Vocational guidance.,Job descriptions.,Occupations.,Vocational guidance.,Job descriptions.,Occupations.,Vocational guidance.
رده :
HF5382
.
Y58
2007
414. agent systems :-Architectural design of multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Electronic data processing ; Distributed processing ; Computer architecture ;
415. driven generation of policies-Data
پدیدآورنده : / Austin Parker, Gerardo I. Simari, Amy Sliva, V.S. Subrahmanian (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING
رده :
E-BOOK
416. 0203931254 (ebook)
پدیدآورنده : edited by Nancy Snow, Philip M. Taylor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
417. order components for grid programming-Higher
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational grids (Computer systems) ; Computer software ; Development. ; Parallel programming (Computer science) ; Electronic data processing ; Distributed processing. ; API. ; swd. ; Grid Computing. ; swd. ; Hochleistungsrechnen. ; swd. ; Komponentenm
418. to-Instant Data Intensive Apps with Pandas How
پدیدآورنده : / Hauck, Trent
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
420. xiv, 237 p. :
پدیدآورنده : Chris Johnson & Jolyon Leslie.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
